VALERY BRUSOV’S POETIC «FAUSTIANA»

Valery Lazarev

Valery (Chrom) Ivanov in memoriam.

Valery (Chrom) Ivanov In memoriam Maxim Frank-Kamenetskii a , Edward Trifonov b , Victor Zhurkin c , Victor Danilov d , Mukti Sarma e & Ramaswamy Sarma e a Department of Biomedical Engineering, Boston University, Boston, MA, USA b Institute of Evolution, University of Haifa, Haifa, Israel c National Cancer Institute, Bethesda, MD, USA d Institute of Molecular Biology and Genetics of National Ac...

Subtyping Constrained Types ( Draft ) Valery Trifonov

Constrained type systems are a natural generalization of Hindley/Milner type inference to languages with subtyping. This paper develops several subtyping relations on constrained types. We establish a full type abstraction property that equates an operational notion of subtyping with a semantic notion based on regular trees. The decidability of this notion of subtyping is open; we present a dec...

Poetic Justice: Louis Brandeis’s Epitaph

Louis said from the grave, If I am Remembered, don't make me a sham Of a nice Jewish boy, Or the life of a goy (Not to shul [1], Christmas tree [2], and ate ham [3]). False biography would be a flaw-Don't recount what would stick in my craw And thus bring me to grief. For my spiritual brief Was Democracy. Ideas. The law. (It is clear to me that there's a God. Justice comes from Him. But it's no...

Designing Poetic Interaction in Space

An amount of research has risen growing concern of designing aesthetics of interaction in addition to function, usability, and pleasure of it. Beyond aesthetic interaction, we propose poetic interaction as a promising design genre. Based on Bachelard’s phenomenological approach, we suggest that poetic interaction design begin with imagination and expression-making of both material and computati...